Programming logic proof
[计] 程序设计逻辑证明
🧩 词语组成解析
programming
['proɡræmɪŋ]
n. 规划，设计;编程;
v. 训练( programme的现在分词 );培养;预调;
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
🗣️ 情景例句
Have you been here to see Dr. Tyler before?
你曾来过泰勒医务所看过医生吗？
He has a bowl of soup.
他有一碗汤。
We're going to a really nice place down by the river. It's a good place for a camp and there's plenty of shade under the trees.
我们要沿河去一个很好玩的地方。那是个很好的宿营地，有很多树阴凉。